$\vdash$  $\exists$$r$:$\mathbb{N}$. ((($r$ $\ast$ $r$) $\leq$ 0) \& (0 $<$ (($r$+1) $\ast$ ($r$+1))))